| 1. Identificação | ||||
| Tipo de Referência | Tese ou Dissertação (Thesis) | |||
| Site | mtc-m16c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP8W/352SB45 | |||
| Repositório | sid.inpe.br/mtc-m18@80/2009/03.27.19.17 | |||
| Última Atualização | 2013:04.24.19.05.52 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/mtc-m18@80/2009/03.27.19.17.06 | |||
| Última Atualização dos Metadados | 2020:04.28.17.48.32 (UTC) administrator | |||
| Chave Secundária | INPE-4915-TDL/381 | |||
| Chave de Citação | Ambrosio:1988:SiExEs | |||
| Título | Um sistema para execução de especificações JSD  | |||
| Título Alternativo | A system for executing JSD specifications | |||
| Curso | CAP-SPG-INPE-BR | |||
| Ano | 1988 | |||
| Data | 1988-06-08 | |||
| Data de Acesso | 06 maio 2024 | |||
| Tipo da Tese | Dissertação (Mestrado em Computação Aplicada) | |||
| Tipo Secundário | TDI | |||
| Número de Páginas | 207 | |||
| Número de Arquivos | 1 | |||
| Tamanho | 3625 KiB | |||
| 2. Contextualização | ||||
| Autor | Ambrosio, Ana Maria | |||
| Grupo | CAP-SPG-INPE-BR | |||
| Banca | Dias, Luiz Alberto Vieira (presidente) Velasco, Flávio Roberto Dias (orientador) Jino, Mário Simoni, Paulo Ouvera | |||
| Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Cidade | São José dos Campos | |||
| Histórico (UTC) | 2009-05-04 16:52:00 :: alessandra@sid.inpe.br -> marciana :: 2009-06-08 19:39:41 :: marciana -> alessandra@sid.inpe.br :: 2009-06-09 19:29:41 :: alessandra@sid.inpe.br -> marciana :: 2009-06-10 18:41:48 :: marciana -> alessandra@sid.inpe.br :: 2009-06-17 16:54:48 :: alessandra@sid.inpe.br -> administrator :: 2009-07-07 16:14:59 :: administrator -> marciana :: 2009-07-09 15:50:13 :: marciana -> administrator :: 2009-08-12 00:26:23 :: administrator -> marciana :: 2009-11-04 14:25:03 :: marciana -> administrator :: 2010-06-01 15:16:15 :: administrator -> alessandra@sid.inpe.br :: 2011-02-25 13:43:49 :: alessandra@sid.inpe.br -> carol@sid.inpe.br :: 1988 2012-02-10 15:29:49 :: carol@sid.inpe.br -> viveca@sid.inpe.br :: 1988 2012-02-29 17:43:43 :: viveca@sid.inpe.br -> administrator :: 1988 2012-10-13 17:35:56 :: administrator -> sergio :: 1988 2013-04-25 12:38:45 :: sergio -> tereza@sid.inpe.br :: 1988 2013-04-25 13:37:55 :: tereza@sid.inpe.br -> administrator :: 1988 2019-04-16 19:32:14 :: administrator -> sergio :: 1988 2019-04-16 19:34:44 :: sergio -> simone :: 1988 2019-04-16 19:35:24 :: simone -> administrator :: 1988 2020-04-28 17:48:32 :: administrator -> simone :: 1988 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Palavras-Chave | modelo operacional especificação executável método JSD especificação de requisito de software software requiremenht specification operating model executable specification (JSD) method Jackson System Development | |||
| Resumo | Modelos operacionais para desenvolvimento de software foram propostos como uma alternativa aos modelos convencionais (específica, projeta e implementa). Um dos princípios básicos dos modelos operacionais é que e possível executar diretamente a especificação de requisitos de software. Neste trabalho, o método CTSD ("Jackson System Development") e considerado como um modelo operacional e, para tanto, uma linguagem e um esquema são propostos que possibilitem a execução de especifica JSD. É, também, implementado um sistema que analisa especifica e permite que elas sejam executadas. ABSTRACT: The operational approach for software development was suggested as an alternative to the conventional approach (specify, project and implement). One of the basic principles of the operational approach is the direct execution of the software requirements specification. In this work, the JSD approach ("Jackson System Development") is considered as an operational approach and, as such, a language and a scheme are proposed that make possible the execution of JSD specifications. It is also implemented a system that analyzes specifications and allows their execution. | |||
| Área | COMP | |||
| Arranjo | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Um sistema para... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source |
| |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP8W/352SB45 | |||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP8W/352SB45 | |||
| Idioma | pt | |||
| Arquivo Alvo | publicacao.pdf | |||
| Grupo de Usuários | administrator alessandra@sid.inpe.br sergio simone tereza@sid.inpe.br | |||
| Visibilidade | shown | |||
| Licença de Direitos Autorais | urlib.net/www/2012/11.12.20.35 | |||
| Detentor dos Direitos | originalauthor yes | |||
| Detentor da Cópia | SID/SCD | |||
| Permissão de Leitura | allow from all | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Repositório Espelho | sid.inpe.br/mtc-m18@80/2008/03.17.15.17.24 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F2PHGS | |||
| Divulgação | NTRSNASA; BNDEPOSITOLEGAL. | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 | |||
| 6. Notas | ||||
| Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel doi e-mailaddress electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||